Set multi-covering via inclusion-exclusion

Set multi-covering is a generalization of the set covering problem where each element may need to be covered more than once and thus some subset in the given family of subsets may be picked several times for minimizing the number of sets to satisfy the coverage requirement. In this paper, we propose a family of exact algorithms for the set multi-covering problem based on the inclusionexclusion principle. The presented ESMC (Exact Set Multi-Covering) algorithm takes ((2 ) ) n O t time and (( 1) ) n O t + space where t is the maximum value in the coverage requirement set (The ( ( )) O f n notation omits a log( ( )) poly f n factor). We also propose the other three exact algorithms through different tradeoffs of the time and space complexities. To the best of our knowledge, this present paper is the first one to give exact algorithms for the set multi-covering problem with * Corresponding author DRAFT